;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(require "Iformulas.lisp")

(module Mformulas
  
  (defun find-worst-team-and-score (avl-tree weights)
    (cons avl-tree weights)
  )     
  
  (defun calculate-team-score (avl-tree team-number weights)
	(list avl-tree team-number weights)
  )
  
  (export Iformulas)
)